inclusion relation for sets

集的包含關系